📊 Static Analysis

Linting, Code Quality, Abstract Interpretation, Data Flow, Abstract Interpretation, Data Flow Analysis, Program Analysis, Verification

How Python Type Hints Transform Code Quality and Reduce Bugs in Modern Development
dev.to·13h·
Discuss: DEV
🔬Refinement Types
Three Months of Go, from a Haskeller's perspective (2016)
memo.barrucadu.co.uk·5h·
Discuss: Hacker News
🔗Functional Compilers
Managing dependency graph in a large codebase
tweag.io·23h
📊Dependency Graphs
Use mutation testing to find the bugs your tests don't catch
blog.trailofbits.com·12h
🧪Property-Based Testing
Codebase Organization
theprogrammersparadox.blogspot.com·7h·
Discuss: theprogrammersparadox.blogspot.com
🔩Systems Programming
Cactus Language • Mechanics 1
inquiryintoinquiry.com·5h
📝Concrete Syntax
Unusual Memory Bit Patterns | Software Verify
softwareverify.com·16h
🧠Separation Logic
Java 25: Oracle Makes Java Easier To Learn, Ready for AI Development
thenewstack.io·42m
⚙️PL Implementation
How to Review Code That Deals with Money
news.alvaroduran.com·1d·
Discuss: Hacker News
📏Code Metrics
Issue 490
haskellweekly.news·11h
🔗Functional Compilers
Carbon Copy No.8: Classes Part II
github.com·16h·
Discuss: Hacker News
🎯Gradual Typing
Pleasant Imperative Program Proofs with GallinaC
arxiv.org·1d
⚔️Lean Tactics
Building tenets: Intelligent context aggregation for AI pair programming
jddunn.github.io·7h·
Discuss: Hacker News
🌀Brotli Internals
Malware Classification TryHackMe — Complete Write-Up
infosecwriteups.com·16h
🦠Malware Analysis
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·11h·
Discuss: Hacker News
🔗Functional Compilers
category-labs/monad
github.com·22h
🔗Functional Compilers
10 Best Code Smell Detection Tools in 2025
dev.to·1d·
Discuss: DEV
📏Code Metrics
Clean Code Tips I Learned from Senior Engineers
blog.algomaster.io·1d·
Discuss: r/programming
📏Code Metrics
What I learned building a programming language with LLM agents
eddmann.com·7h·
Discuss: Hacker News
🗣️Domain-Specific Languages
Advent of Code: Libraries
elly.town·1d
🔒Type Safety